temporal property

1. There are errors of five degrees of freedom between each adjacent pair of gratings within a tiled-grating system, affecting the spatial and temporal property of the laser beam.
   拼接的每个光栅都存在五维自由度的偏差，对激光脉冲的空间特性和时间特性产生影响。
2. In this paper, we introduce temporal logic operator into Construct Categorical Algebra for specification and verification of cryptographic protocol, we modeling both the protocol and the intruder, and deduce its security property with the use of temporal logic.
   本文在构造类别代数中引入时序算子，对密码协议以及协议的入侵者进行建模，在此基础上利用时序逻辑推导协议应该满足的安全属性。
3. Analysis on Temporal Spatial Changing and Random Characteristics of Physic-chemical Property in Refuses Taking Chongqing City as an Example
   垃圾理化性质的时空变化特征和随机特性分析&以重庆市主城区为例
4. On temporal restrict to property in confiscation of property
   没收财产刑中财产的时间限定
5. The prominent characteristics of Qinghai-Tibet Plateau pratacultural system are the keynote of weather facts and the large scale spatial and temporal conflict and the grey property.
   气候生态因子主导性、大尺度时空相悖性和灰色属性是青藏高原草业系统的显著特征。
6. XYZ/ AE is one sub-language of the temporal logical system XYZ. Describing program's property with XYZ/ AE has superiority comparable to other temporal logical languages.
   XYZ/AE是时序逻辑系统XYZ的一个子语言，用此语言描述程序性质有很多优点。
7. Furthermore, by taking the temporal property of spatial presentation, we discuss the fuse issues of temporal and spatial properties of IBVS.
   而且还考虑到了空间表现的时间特性，讨论了虚拟实景空间的时间和空间的融合问题。
8. The thesis studies the basic theories of temporal GIS and classifies dynamic changes of spatio-temporal into three types: changes based on property, changes based on position and integrated changes.
   本文研究了时态GIS的基本理论，对时空数据的动态变化类型进行了分类，将其分为基于属性的变化、基于位置的变化和混合变化三种动态变化类型。
9. Environment monitoring, cadastral changing management and traffic line changing management are in these fields whose common character is to realize the temporal property of geographical entity.
   同时，随着社会的发展GIS出现了若干新的应用领域，如环境监测、地籍变更管理以及交通线路变化管理等等，他们共同的特点就是要求能实现地理实体地时态特性。
10. The temporal property and the grey property should be taken into account while designing security policy models; and the three aspects of security requirements of privacy.
    设计安全策略模型时应考虑安全策略的时序特性和灰色特性，还应综合考虑保密性、完整性和可用性三方面的需求。
11. The Upper Cretaceous tin-bearing granite ( granite-porphyry) in Western Guangdong Province has specific regularity in temporal and spatial distribution and distinctive characteristics in petrology, lithochemistry, geochemistry isotope geology and ore-bearing property.
    粤西晚白垩世含锡花岗（斑）岩具有特定的时空分布规律，在岩石学、岩石化学、地球化学、同位素地质学和含矿性方面，皆有明显的特征。
12. Temporal Property Analysis of Discrete Event Systems Based on State Reachability Graph
    基于状态可达图的离散事件系统时态性质分析
13. Intuitionistic Fuzzy Temporal Logic Operators and Their Property
    直觉模糊时态逻辑算子及其性质
14. The temporal formula model ( TFM) of the discrete event process is established firstly, then the property analysis problem of the TFM is discussed.
    首先给出了离散事件过程的时态公式模型（TFM），并讨论了在该模型下的性质分析问题。
15. The characteristics are that invasive species become more and more each year, and there is a temporal dynamic property in biological invasion;
    指出其特征是：生物入侵对生物多样性造成重大影响，入侵生物的数量逐年增加，具有时间动态性；
16. An efficient quantization method of LSF parameters is proposed based on second order temporal decomposition ( TD) model by using the LSF ordering property.
    利用LSF参数的有序性，提出了一种基于二阶时间分解（TD）模型的高效LSF参数量化方法。
17. Then, an existing Web services temporal property monitoring model is introduced, and after that, the improved monitoring model proposed by this article is detailed.
    随后，介绍了现有的Web服务临时属性监控模型，在其后详细介绍了本课题提出的改进的监控模型。
18. On the basis of reachability analysis, we further study how to verify temporal property in sequential circuits.
    在可达性分析的基础上，进一步验证时序电路的时态逻辑属性。
19. The temporal safety property oriented searching reusing framework and its application in slicing execution.
    提出了面向时序安全性质验证的搜索复用框架并将其应用于切片执行。
20. This paper indicates that the temporal response property of human visual systems include visual response latency and dynamic response characteristics.
    而本文在这些研究的基础上指出人类视觉的时间特性包括视觉系统的延迟响应特性和动态响应特性，并且提出了基于系统辨识理论的测试方法。
21. Temporal property is still described taking the above-mentioned methods of dynamic simulation.
    时态逻辑属性仍然采取前面提到的动态仿真方法中属性描述方法。
22. Temporal property consistency checker uses Web service composition interaction behavior detection algorithm to check the captured interaction behaviors.
    时序属性一致性检测器运用Web服务组合交互行为检测算法，对捕获到的交互行为进行运行时检测。

noun

1. a property relating to time